Assumptions: binary copowers, self-dual
Conclusions: binary powers
Reason: This holds by self-duality.